Generation and analysis of lamplighter programs
نویسنده
چکیده
We consider a programming language based on the lamplighter group that uses only composition and iteration as control structures. We derive generating functions and counting formulas for this language with the goal of avoiding repetition of equivalent programs.
منابع مشابه
Harmonic analysis of finite lamplighter random walks
Recently, several papers have been devoted to the analysis of lamplighter random walks, in particular when the underlying graph is the infinite path Z. In the present paper, we develop a spectral analysis for lamplighter random walks on finite graphs. In the general case, we use the C2-symmetry to reduce the spectral computations to a series of eigenvalue problems on the underlying graph. In th...
متن کاملDetermining Appropriate Buses and Networks for Applying Demand Side Management Programs by Structural Analysis of EENS
The main goal of this paper is to structurally analyze impact of DSM programs on reliability indices. A new approach is presented to structurally decompose reliability index Expected Energy Not Supplied (EENS) by using Monte Carlo simulation. EENS is decomposed into two terms. The first term indicates EENS which is caused by generation contingencies. The second term indicates EENS which is caus...
متن کاملRelationship Between Morphological Traits in Rice Restorer Lines at F3 Generation Using Multivariate Analysis
In order to evaluate the relationship between morphological characters in rice lines two populations at F3 generation were grown in research field of Agricultural Sciences and Natural Resource University, Sari, Iran, during 2012. Statistical analysis on important agronomic traits showed that maximum standard deviation belonged to total grain number followed by filled grains per panicle and grai...
متن کاملRelationship Between Morphological Traits in Rice Restorer Lines at F3 Generation Using Multivariate Analysis
In order to evaluate the relationship between morphological characters in rice lines two populations at F3 generation were grown in research field of Agricultural Sciences and Natural Resource University, Sari, Iran, during 2012. Statistical analysis on important agronomic traits showed that maximum standard deviation belonged to total grain number followed by filled grains per panicle and grai...
متن کاملRelationship Between Morphological Traits in Rice Restorer Lines at F3 Generation Using Multivariate Analysis
In order to evaluate the relationship between morphological characters in rice lines two populations at F3 generation were grown in research field of Agricultural Sciences and Natural Resource University, Sari, Iran, during 2012. Statistical analysis on important agronomic traits showed that maximum standard deviation belonged to total grain number followed by filled grains per panicle and grai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1707.02652 شماره
صفحات -
تاریخ انتشار 2017